1. Communicating Process Architectures 2002 :
Author: edited by James Pascoe [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
Classification :
QA76
.
73
.
O2
W67
2002eb
2. Distributed and parallel embedded systems :
Author: edited by Franz J. Rammig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing, Congresses.,Embedded computer systems, Congresses.,Parallel processing (Electronic computers), Congresses.,Parallélisme (Informatique)-- Congrès.,Systèmes enfouis (Informatique)-- Congrès.,Traitement réparti-- Congrès.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Parallel processing (Electronic computers)
Classification :
QA76
.
9
.
D5
I3477
1998
3. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
Author: Christian Herde ; With a foreword by Martin Fränzle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
Classification :
QA76
.
9
.
A96
H47
2011
4. Innovative techniques in instruction technology, e-learning, e-assessment, and education /
Author: edited by Magued Iskander.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction.,Computer-assisted instruction.,Computer-assisted instruction.,COMPUTERS-- Educational Software.,Informatique.
Classification :
LB1028
.
5
.
I52
2008eb
5. Intelligence computation and evolutionary computation :
Author: Zhenyu Du (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence -- Congresses.,Evolutionary computation -- Congresses.,Intelligence informatique -- Congrès.
6. Knowledge-based systems :
Author: edited by Cornelius T. Leondes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Knowledge management.,Gestion des connaissances.,Systèmes experts (Informatique),COMPUTERS-- Expert Systems.,Expert systems (Computer science),Gestion des connaissances.,Knowledge management.,Systèmes experts (informatique)
Classification :
QA76
.
76
.
E95
K5559
2000eb
7. Modeling and verification using UML statecharts :
Author: Doron Drusinsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Formal methods (Computer science),UML (Computer science),Logiciels-- Développement.,Méthodes formelles (Informatique),UML (Informatique),Computer software-- Development.,Formal methods (Computer science),UML (Computer science)
Classification :
QA76
.
76
.
D47
D78
2006eb
8. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
9. Rigorous software development :
Author: José Bacelar Almeida [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Computer software-- Verification.,Computer software-- Development.,Computer software-- Verification.,Informatique.
Classification :
QA76
.
76
.
V47
R54
2011
10. SAT 2005 :
Author: edited by Enrico Giunchiglia and Toby Walsh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
Classification :
QA76
.
9
.
A43
S28
2006eb
